Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
131	Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:32 Algebra Mathematics Abstract algebra Algebraic structures Semigroup theory Automated theorem proving Logic programming Category theory Unification Monoid Semigroup Substitution
132	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
133	Second-Order Abstract Categorial Grammars Makoto Kanazawa July 28, Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:58:52 Formal languages Grammar Logic Mathematics Regular tree grammar Context-free grammar Formal grammar Terminal and nonterminal symbols Indexed grammar Context-sensitive grammar
134	A theory of granular parthood based on qualitative cardinality and size measures Thomas BITTNER1,2,3,4 and Maureen DONNELLY1,3 1 Department of Philosophy, 2 Department of Geography 3 Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2006-11-21 12:49:37 Mathematics Algebra Abstract algebra Finite fields Cardinality First-order logic XTR Limit of a function Metric Algebraic number field Lambda lifting
135	A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-04-03 11:35:00 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space
136	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
137	Towards a Unified Treatment of Induction (Abstract) Paul Taylor 26 August 1996 induction over the nat-erty of the natural numbers: Mathematical ural numbers has been familiar since Eus Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:24 Mathematical logic Mathematics Set theory Category theory Wellfoundedness Constructible universe Topos Universal property Ordinal number Sheaf Mahlo cardinal Symbol
138	Remarks on simple proofs Rosalie Iemhoff∗ March 15, 2015 Abstract This note consists of a collection of observations on the notion of simplicity in the setting of proofs. It discusses its properties under formalization Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 09:58:14 Logic Mathematics Abstraction Proof theory Mathematical proofs Formal languages Formal systems Logical truth Theorem Elementary proof Mathematical logic Proof
139	Wrong side of the tracks: Big Data and Protected Categories Simon DeDeo∗ June 23, 2016 Abstract Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2016-06-27 12:55:13 Science Formal sciences Philosophy Cybernetics Computational neuroscience Algorithm Mathematical logic Theoretical computer science Machine learning Causality Decision tree Artificial intelligence
140	MAT 313/PHI 323, Advanced Logic (actually Category Theory) Professor Hans Halvorson Phone: E-mail: hhalvors (answered in batch-mode once a week) Office: 1879 Hall, Room 220. Office hours TBA. Lectures on Monday, W Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2009-10-07 14:21:05 Mathematics Algebra Abstract algebra Category theory Regular category Sheaf Semantics Jaap Saunders Mac Lane

UPDATE